
# 7-2 月份缩写【字符串】
def abbr_mouths():
    months = "Jan.Feb.Mar.Apr.May.Jun.Jul.Aug.Sep.Oct.Nov.Dec."
    month_num = int(input())

    # 根据输入的月份数字找到对应的月份缩写
    abbr_month = months.split('.')[month_num - 1]

    print(abbr_month + ".")
abbr_mouths()
